External and internal choice with event groups in Event-B
نویسندگان
چکیده
منابع مشابه
Event-by-event respiratory motion correction for PET with 3D internal-1D external motion correlation.
PURPOSE Respiratory motion during PET∕CT imaging can cause substantial image blurring and underestimation of tracer concentration for both static and dynamic studies. In this study, the authors developed an event-by-event respiratory motion correction method that used three-dimensional internal-one-dimensional external motion correlation (INTEX3D) in listmode reconstruction. The authors aim to ...
متن کاملMandatory and Potential Choice: Comparing Event-B and STAIRS
In order to decide whether a software system fulfills a specification, or whether a detailed specification preserves the properties of a more abstract specification, we need an understanding of what it means for one specification to fulfill another specification. This is particularly important when the specification contains one or more operators for expressing choice. Operators for choice have...
متن کاملDevelopment of Rabin Choice Coordination in Event-B
We continue the investigation with the integration of qualitative probabilistic reasoning into Event-B further towards the direction of having a tool support. In passing by, we formalise a non-trivial algorithm, namely Rabin’s choice coordination. Our correctness reasoning is a combination of termination proofs in terms of probabilistic convergence and standard invariants techniques. Moreover, ...
متن کاملDevelopment of Rabin's Choice Coordination Algorithm in Event-B
The paper reports our investigation on tool support for the integration of qualitative probabilistic reasoning into Event-B. In the process, we formalise a nontrivial algorithm, namely Rabin’s choice coordination. Our correctness reasoning is a combination of termination proofs in terms of probabilistic convergence and standard invariant techniques. Moreover, we describe how qualitative probabi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2012
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-012-0239-2